<div>
  Il nome che identifica univocamente un agente all'interno di questa
  installazione di Jenkins.
  <p>
  Non deve necessariamente coincidere con il nome host dell'agent (dove
  applicabile), ma spesso è comodo che coincidano.
  <p>
  Il nome non può contenere alcun carattere incluso in quest'elenco:
  <code>?*/\%!@#$^&amp;|&lt;&gt;[]:;</code>
  <!-- See jenkins.model.Jenkins#checkGoodName -->
</div>
